The technology of mechanized program verification can play a supporting role in many kinds of research projects in computer science, and related tools for formal proof-checking are seeing increasing adoption in mathematics and engineering. This book provides an introduction to the Coq software for writing and checking mathematical proofs. It takes a practical engineering focus ...(展开全部)

Programming with Types teaches you to design safe, resilient, correct software that’s easy to maintain and understand by taking advantage of the power of strong type systems. Designed to provide practical, instantly-useful techniques for working developers, this clearly-written tutorial introduces you to using type systems to support everyday programming tasks. In it, you’ll ex...(展开全部)

Programming with Types teaches you to design safe, resilient, correct software that’s easy to maintain and understand by taking advantage of the power of strong type systems. Designed to provide practical, instantly-useful techniques for working developers, this clearly-written tutorial introduces you to using type systems to support everyday programming tasks. In it, you’ll ex...(展开全部)

An Introduction to Programming with Mathematica® is designed to introduce the Mathematica programming language to a wide audience. Since the last edition of this book was published, significant changes have occurred in Mathematica and its use worldwide. Keeping pace with these changes, this substantially larger, updated version includes new and revised chapters on numerics, pro...(展开全部)

Accompanying the book, as with all TELOS sponsored publications, is an electronic component. In this case it is a DOS-Diskette produced by one of the coauthors, Paul Wellin. This diskette consists of Mathematica notebooks and packages which contain the codes for all examples and exercises in the book, as well as additional materials intended to extend many ideas covered in the ...(展开全部)

An Introduction to Programming with Mathematica® is designed to introduce the Mathematica programming language to a wide audience. Since the last edition of this book was published, significant changes have occurred in Mathematica and its use worldwide. Keeping pace with these changes, this substantially larger, updated version includes new and revised chapters on numerics, pro...(展开全部)

Accompanying the book, as with all TELOS sponsored publications, is an electronic component. In this case it is a DOS-Diskette produced by one of the coauthors, Paul Wellin. This diskette consists of Mathematica notebooks and packages which contain the codes for all examples and exercises in the book, as well as additional materials intended to extend many ideas covered in the ...(展开全部)